Atomic saturation of reduced powers

Our aim was to try generalize some theorems about the saturation of ultrapowers reduced powers. Naturally, we deal with for types consisting atomic formulas. We succeed “the theory dense linear order (or T strict property) is maximal and so any pair ( , Δ ) which SOP3”, (where consists or conjunction formulas). However, theorem on “it enough symmetric pre-cuts” (so p = t theorem) cannot be generalized in this case. Similarly uniqueness dual cofinality fails context.